Formal proof - Englisch Synonyme Wörterbuch